La révision des règles spéciales d'administration de la preuve

Lors de l'adoption du Code de procédure civile en 1966 et dans des changements subséquents, le législateur québécois, pour favoriser la découverte de la vérité et l'efficience de l'administration de la justice civile, a adopté des modifications substantielles des règles spéciales d'administration de la preuve. Comme le gouvernement a annoncé son intention d'effectuer une réforme complète du Code de procédure civile, il est opportun de s'interroger sur les changements faits au cours des dernières années ainsi que sur l'opportunité d'adopter de nouvelles règles. Un certain nombre de questions méritent d'être posées au regard des règles spéciales d'administration de la preuve, notamment celles qui sont relatives à l'interrogatoire préalable et à la communication des écrits, à la communication des pièces, à l'examen médical et aux rapports d'experts.When the Code of Civil Procedure was adopted in 1966 as with its amendments thereafter, the Québec Legislator incorporated substantial changes into the special rules for administering evidence in order to favour the discovery of truth and efficiency in the administration of civil justice. Since the government has announced its intention to undertake a major reform of the Code of Civil Procedure, it is fitting to raise questions regarding the changes made over these past years as well as the timeliness of adopting new rules. Several questions deserve being asked with regard to the special rules for administering evidence, namely those pertaining to interrogatories or examinations as well as the prior communication of written instruments, communication of documents, medical examinations and expert reports

The Conflict Notion and its Static Detection: a Formal Survey

The notion of policy is widely used to enable a flexible control of many systems: access control, privacy, accountability, data base, service, contract , network configuration, and so on. One important feature is to be able to check these policies against contradictions before the enforcement step. This is the problem of the conflict detection which can be done at different steps and with different approaches. This paper presents a review of the principles for conflict detection in related security policy languages. The policy languages, the notions of conflict and the means to detect conflicts are various, hence it is difficult to compare the different principles. We propose an analysis and a comparison of the five static detection principles we found in reviewing more than forty papers of the literature. To make the comparison easier we develop a logical model with four syntactic types of systems covering most of the literature examples. We provide a semantic classification of the conflict notions and thus, we are able to relate the detection principles, the syntactic types and the semantic classification. Our comparison shows the exact link between logical consistency and the conflict notions, and that some detection principles are subject to weaknesses if not used with the right conditions

A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic

International audienceComponent Based Software Engineering has now emerged as a discipline for system development. After years of battle between component platforms, the need for means to abstract away from specific implementation details is now recognized. This paves the way for model driven approaches (such as MDE) but also for the more older Architectural Description Language (ADL) paradigm. In this paper we present KADL, an ADL based on the Korrigan formal language which supports the following features: integration of fully formal behaviours and data types, expressive component composition mechanisms through the use of modal logic, specification readability through graphical notations, and dedicated architectural analysis techniques. Key Words: Architectural Description Language, Component Based Software Engineering, Mixed Formal Specifications, Symbolic Transition Systems, Abstract Data Types, Modal Logic Glue, Graphical Notations, Verification

Gestion des connaissances dans le domaine de la dosimétrie en réacteur

National audienceCet article décrit le déroulement d'un projet de gestion des connaissances dans le domaine de la dosimétrie en réacteur. La méthodologie employée est d'abord présentée de façon générale. Le cycle d'abstraction qu'elle préconise fait intervenir plusieurs modèles qui sont adaptés aux différents aspects d'un problème de gestion des connaissances. Le déroulement du projet est ensuite détaillé en confrontant ces modèles avec leur mise en application dans un cas réel. Le bilan de ce projet aborde les problèmes méthodologiques, les aspects organisationnels et les liens avec l'assurance qualité dans le cadre d'un processus d'accréditation

From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping

Short paper presented as a posterInternational audienceThe object-oriented paradigm is increasingly used in the implementation and the use of web services. However, the mismatch between objects and document structures in the wire has a negative impact over interoperability, more particularly when subtyping is involved. In this paper, we discuss how to improve interoperability in this context by preserving the subsumption property associated to subtyping. First we show the weaknesses of existing web service frameworks used for serialization and deserialization. Second we propose new foundations for serialization and deserialization, which leads to the specification of a new data binding between objects and document structures, compatible with subtyping

Towards a Unified Formal Model for Service Orchestration and Choreography

National audienceThe growth of Internet has extended the scope of software applications, leading to network-based architectures. The main characteristic of these architectures is that they restrict the communication between remote components to message passing. Service-oriented computing is a solution to organise the exchange of messages in a network-based architecture, by using services as primitive components. Thus, each component can be a client, a server or both. Since a service-oriented application typically spans a number of different organizations, its executions is subject to stringent security requirements. That is the reason why the partners involved generally define a contract at the global level in order to enforce some security policy. From the contract, each partner deduces by projection a specification of the security functionalities that it must locally implement. Of course, in order to be useful, all these projections must ensure that the local functionalities effectively collaborate to realize the global contract

Using Transformation-Aspects in Model-Driven Software Product Lines

International audienceModel-Driven Software Product Lines (MD-SPL) are configured by using configuration models and Problem Space metamodels that capture product line scope. Products are derived by means of successive model transformations, starting from problem space models and based on the configuration models. Fine-variations of MD-SPLs correspond to characteristics that afect particular elements of models involved in the model transformations. In this paper, we present an approach to create MD-SPL including fine-variations. We configure products creating fine-feature configurations. Then, based on such configurations, we create MD-SPLs using principles of Aspects Oriented Development. Thus, our approach allows to derive products including fine-grained details of configuration